Hierarchical Time Stream Petri Net: A Model for Hypermedia Systems
نویسندگان
چکیده
The paper proposes a new class of timed Petri nets for the specification of temporal constraints and description of logical behaviour in distributed hypermedia systems. In particular, hierarchical design capabilities are added to the Time Stream Petri Net model developed for the specification of multimedia scenarios. The new model is named HTSPN, and its enhanced firing rules give a precise semantic to those synchronization mechanisms usually encountered in hypermedia systems. Both temporal and logical synchronization are considered and can be combined into powerful synchronization schemes. User interactions and other asynchronous events are straightforwardly modeled in HTSPN.
منابع مشابه
Hypermedia Synchronization Modeling: A Case Study1
The semantics of hypermedia documents depends mainly on the satisfaction of both logical and temporal synchronization constraints. Therefore, the specification and verification of temporal and logical properties of hypermedia systems is a fundamental stage that must be done before implementation. In this paper we propose a formal model, called HTSPN (Hierarchical Time Stream Petri Net), that al...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملPetri Net Modeling for Parallel Bank ATM Systems
In this paper the real time operation of an automatic teller machine (ATM) is analyzed using aTimed Petri Net (TPN) model. In the modeling, the probability of arrivals, the speed andattentiveness of customers (clients) are taken to account. Different parameters are based onthe statistical data. The model is simulated for 24 hours. The diagrams of number ofsucceeded customers, failed references ...
متن کاملContext-aware Hypermedia in a Dynamically Changing
Context-Aware Hypermedia in a Dynamically Changing Environment, Supported by a High-Level Petri Net. (December 2001) Jin-Cheon Na, B.S., Hanyang University; M.S., Oklahoma State University Chair of Advisory Committee: Dr. Richard Furuta In modern hypertext systems, with the increased availability of personal computers with environmental sensors (e.g., GPS sensors), adaptation support to meet th...
متن کاملFormal models for the description of timed behaviors of multimedia and hypermedia distributed systems
This paper presents two modeling approaches that can be used as a formal basis for designing distributed multimedia & hypermedia systems. Using these approaches, users and designers are able to express formally their multimedia and hypermedia synchronization and time requirements. The two diierent models considered are: Hierarchical Time Stream Petri Nets and RT-LOTOS. It will be shown that bot...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995